Elektrolokomotiven EF18, EF57 und EF58 in Japan